Перевод: со всех языков на французский

с французского на все языки

in formal correspondence

См. также в других словарях:

  • Correspondence theory of truth — Truth, holding a mirror and a serpent (1896). Olin Levi Warner, Library of Congress Thomas Jefferson Building, Washington, D.C. The correspondence theory of truth states that the truth or falsity of a statement is determined only by how it… …   Wikipedia

  • Correspondence principle (sociology) — The correspondence principle or correspondence thesis is a sociological theory that posits a close relationship between social standing and the educational system. Writers in this vein (notably Samuel Bowles and Herbert Gintis) are in particular… …   Wikipedia

  • Formal verification — In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods… …   Wikipedia

  • Curry-Howard correspondence — The Curry Howard correspondence is the direct relationship between computer programs and mathematical proofs. Also known as Curry Howard isomorphism, proofs as programs correspondence and formulae as types correspondence, it refers to the… …   Wikipedia

  • Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… …   Wikipedia

  • Committee of correspondence — For other uses, see Committee of correspondence (disambiguation). The Committees of Correspondence were shadow governments organized by the Patriot leaders of the Thirteen Colonies on the eve of American Revolution. They coordinated responses to… …   Wikipedia

  • McMahon–Hussein Correspondence — The McMahon–Hussein Correspondence, or the Hussein McMahon Correspondence, was a protracted exchange of letters (July 14, 1915 to January 30, 1916)[1] during World War I, between the Sharif of Mecca, Husayn bin Ali, and Sir Henry McMahon, British …   Wikipedia

  • McMahon-Hussein Correspondence — The McMahon Hussein Correspondence [Also sometimes known in the literature as the Hussein McMahon Correspondence .] was a protracted exchange of letters (July 14, 1915 to January 30, 1916) [http://www.law.fsu.edu/library/collection/LimitsinSeas/IB… …   Wikipedia

  • The Willy-Nicky Correspondence — is a phrase derived from a book by Herman Bernstein in January of 1918. The book was based on a set of telegrams that revealed the secret relations between Wilhelm II of the German Empire and Tsar Nicholas II of Russia. The telegrams were… …   Wikipedia

  • Valediction — A valediction (derivation from Latin vale dicere, to say farewell ),[1] or complimentary close in American English,[2] is an expression used to say farewell, especially a word or phrase used to end a letter or message,[3][4] or the act of saying… …   Wikipedia

  • BIBLE — THE CANON, TEXT, AND EDITIONS canon general titles the canon the significance of the canon the process of canonization contents and titles of the books the tripartite canon …   Encyclopedia of Judaism

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»